- primitively recursive predicate
- примитивно рекурсивный предикат
The New English-Russian Dictionary of Radio-electronics. F.V Lisovsky . 2005.
primitively recursive predicate
Смотреть что такое "primitively recursive predicate" в других словарях:
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
Craig's theorem — In mathematical logic, Craig s theorem states that any recursively enumerable set of well formed formulas of a first order language is (primitively) recursively axiomatizable. This result is not related to the well known Craig interpolation… … Wikipedia
